SysML:state machine
state machine